int push_index(unsigned int index);
int get_position(unsigned int position);
void free_index(void);
